Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
111	June 21, 1967 CGTM No. 16 Dan Ross BOX SYNTAX A 2-DIMENSIONAL METALANGUAGE Add to Reading List Source URL: www.slac.stanford.edu Language: English - Date: 2011-07-15 16:33:00 Computing Backus–Naur Form Formal grammar IMP programming language Syntax Semantics Terminal and nonterminal symbols Regular expression Ficus Formal languages Software engineering Computer programming
112	Distance Makes the Types Grow Stronger A Calculus for Differential Privacy Jason Reed Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-09-20 13:05:54 Dynamical system Differential privacy Mathematics Structure Programming language semantics Orbifold Allan variance Mathematical analysis Symbol Continuous function
113	The VLISP Flattener J. D. Guttman L. G. Monk W. M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Brainfuck Percent-encoding Null character Denotational semantics Programming language theory ZPAQ Computing Theoretical computer science Control characters
114	BRICS Basic Research in Computer Science BRICS DS-01-6 B. Grobauer: Topics in Semantics-based Program Manipulation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-24 07:35:52 Logic in computer science Evaluation strategy Incremental computing Partial evaluation Models of computation Denotational semantics Olivier Danvy BRIC Monad Software engineering Computing Programming language theory
115	Symbolic Interpretation of Legacy Assembly Language Jacques Carette, Pulak Kumar Chowdhury Dept. of Computing and Software McMaster University Hamilton, Ontario L8S 4K1 Abstract Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2005-11-14 17:37:09 Models of computation Logic in computer science Programming language semantics Compiler construction Programming language implementation Data-flow analysis Denotational semantics Assembly language Control flow graph Theoretical computer science Computing Software engineering
116	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
117	DRA FRONT END FILTER PROJECT Specification of SSQL Semantics II Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:09 Procedural programming languages Functional languages ALGOL 68 C++ HOL KeY Id C++ classes Sequence container Programming language theory Computing Software engineering
118	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
119	Gregory Gelfond Department of Computer Science Texas Tech University Lubbock, TXPhone: 408–506–1991 Email: Add to Reading List Source URL: myweb.ttu.edu Language: English Computer programming Logic programming Prolog Stable model semantics Programming language Declarative programming Knowledge representation and reasoning Software engineering Programming paradigms Computing
120	A formal operational semantics for C++ object construction and destruction Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp July 13, 2011 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-07-28 07:47:39 C++ Object-oriented programming Method C programming language Virtual function C++ classes Constructor Struct Initialization Software engineering Computer programming Computing

UPDATE